1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
use super::*;
pub fn stmt(input: &str) -> IResult<&str, Stmt> {
alt((map(let_, Stmt::Let), map(join, Stmt::Join)))(input)
}
pub fn let_(input: &str) -> IResult<&str, Let> {
map(
tuple((
tag(LET),
ws,
opt_ident,
opt(ws),
opt(preceded(
preceded(tag(":"), opt(ws)),
terminated(expr, opt(ws)),
)),
tag("="),
opt(ws),
expr,
opt(ws),
tag(";"),
)),
|(_let, _ws0, ident, _ws1, ty, _eq, _ws2, value, _ws3, _sc)| Let {
ident: ident.map(str::to_string),
ty: ty.map(Arc::new),
value: Arc::new(value),
},
)(input)
}
pub fn join(input: &str) -> IResult<&str, Join> {
map(
tuple((
join_kind,
preceded(
opt(ws),
alt((
pair(opt(terminated(decimal, ws)), expr),
map(natural, |n| (None, Expr::Natural(n))),
)),
),
opt(preceded(delimited(opt(ws), tag(MAP_ARROW), opt(ws)), expr)),
preceded(opt(ws), tag(";")),
)),
|(form, (work_limit, source), target, _sc)| Join {
form,
source: Arc::new(source),
work_limit,
target: target.map(Arc::new),
},
)(input)
}
pub fn join_kind(input: &str) -> IResult<&str, Form> {
alt((
value(Form::Null, tag(ASSERT_EQ)),
value(Form::Head, tag(HEAD)),
value(Form::Beta, tag(BETA)),
value(Form::Eta, tag(ETA)),
value(Form::BetaEta, tag(BETA_ETA)),
))(input)
}
#[cfg(test)]
mod test {
use super::*;
#[test]
fn join_parses() {
let examples = ["#eq #true => #false;"];
for example in &examples {
let (rest, _parsed) = join(example).unwrap();
assert_eq!(rest, "");
}
}
}